161. Higher order logic theorem proving and its applications : 7th International Workshop Valleta, Malta, September 19-22, 1994
پدیدآورنده: Thomas F. Melham, Juanito Camilleri )eds(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
859
162. Ideals, Varieties, and Algorithms
پدیدآورنده: by David Cox, John Little, Donal O'Shea.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.
163. Ideals, varieties, and algorithms
پدیدآورنده: David A. Cox, John Little, Donal O'Shea.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Commutative algebra-- Data processing.,Geometry, Algebraic-- Data processing.
164. Ideals, varieties, and algorithms :
پدیدآورنده: / David A. Cox, John Little, Donal O'Shea
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Geometry, Algebraic , Data processing,Commutative algebra , Data processing
رده :
E-BOOK
165. Instantiation theory : on the foundations of automated deduction
پدیدآورنده: Williams, James G.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
518
166. Instantiation theory : on the foundations of automated deduction
پدیدآورنده : Williams, James G.
موضوع : ، Automatic theorem proving
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
167. Introduction to HOL
پدیدآورنده: / edited by M.J.C. Gordon and T.F. Melham
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Automatic theorem proving,ML (Computer program language),HOL (Computer file)
رده :
QA
9
.
9
.
A9636
1993
168. Introduction to mathematical logic and resolution principle
پدیدآورنده: Wang, Guojun, 5391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96W26
2009
169. Invariant Methods in Discrete and Computational Geometry :
پدیدآورنده: edited by Neil L. White.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational complexity.,Computer science.,Electronic data processing.
رده :
QA448
.
D38
E358
1995
170. Isabelle/HOL : a proof assistant for higher-order logic
پدیدآورنده: Nipkow, Tobias, 8591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer logic,، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2283
171. Isabelle : a generic theorem prover
پدیدآورنده: Paulson, Lawrance C.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving,، Isabelle )Computer file(
رده :
QA
76
.
L28
Vol
.
828
172. KI-96 :
پدیدآورنده: Günther Görz, Steffen Hölldobler, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence -- Congresses.,Automatic theorem proving -- Congresses.,Knowledge representation (Information theory) -- Congresses.
173. Lectures on proof verification and approximation algorithms
پدیدآورنده: Ernst W. Mayr, Hans Jurgen Promel, Angelika Steger )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving,، Computer algorithms,، Approximation theory
رده :
QA
76
.
L28
Vol
.
1367
174. Les mathematiques a la portee de l'ordinateur
پدیدآورنده: Arnold, Ander
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical,، Programming languages )Electronic computers(
رده :
Q
335
.
A75
175. Logic Program Synthesis and Transformation :
پدیدآورنده: edited by Maurizio Proietti.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
176. Logic for computer science:foundations of automatic theorem
پدیدآورنده: GALLIER,JEAN H
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
G35
177. Logic for computer science : foundations of automatic theorem proving
پدیدآورنده: Gallier, Jean H.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
G35
178. Logic for computer science : foundations of automatic theorem proving
پدیدآورنده: Gallier, Jean H
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
G35
1986
179. Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
پدیدآورنده: Michel Parigot, Andrei Voronkov )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1955
180. Logic for programming, artificial intelligence, and reasoning
پدیدآورنده: / Franz Baader, Andrei Voronkov (eds.)
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Logic programming,Automatic theorem proving
رده :
QA
76
.
63
.
L735
2005
